Model theory for extensions of modal logic
نویسندگان
چکیده
The ESSLLI course material has been compiled by Balder ten Cate and David Gabelaia. Unless otherwise mentioned, the copyright lies with the individual authors of the material. Balder ten Cate and David Gabelaia declare that they have obtained all necessary permissions for the distribution of this material. ESSLLI 2008 and its organizers take no legal responsibility for the contents of this booklet. About this reader The main purpose of this reader is to provide a convenient source of reference for some of the things that will be discussed in the course. We do not intend to cover all of this material in the course. This reader has been compiled out of material from the following three sources: • Balder ten Cate (2005). Model theory for extended modal languages.
منابع مشابه
Abstract model theory for extensions of modal logic
model theory for extensions of modal logic
متن کاملSuhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملThe Semantics of Modal Predicate Logic I. Counterpart-Frames
We introduce a new semantics for modal predicate logic, with respect to which a rich class of first-order modal logics is complete, namely all normal first-order modal logics that are extensions of free quantified K. This logic is defined by combining positive free logic with equality PFL . = and the propositional modal logic K. We then uniformly construct—for each modal predicate logic L—a can...
متن کاملConservative Extensions in Guarded and Two-Variable Fragments
Conservative extensions are a fundamental notion in logic. In the area of description logic, deciding whether a logical theory is a conservative extension of another theory is a fundamental reasoning task with applications in ontology modularity and reuse, and ontology versioning. As expected, conservative extensions are undecidable in first-order logic (FO), but it has been observed in recent ...
متن کاملModal Intervals Revisited, Part 1: A Generalized Interval Natural Extension
Modal interval theory is an extension of classical interval theory which provides richer interpretations (including in particular inner and outer approximations of the ranges of real functions). In spite of its promising potential, modal interval theory is not widely used today because of its original and complicated construction. The present paper proposes a new formulation of modal interval t...
متن کاملThe structure of the lattice of normal extensions of modal logics with cyclic axioms
Irreflexive frames sometimes play a crucial role in the theory of modal logics, although the class of all such frames that consist of only irreflexive points can not be determined by any set of modal formulas. For instance, the modal logic determined by the frame of one irreflexive point is one of the two coatoms of the lattice of all normal modal logics. Another important result is that every ...
متن کامل